signature DEAD_CODE_STRUCTS =
sig
  structure Ir : IR
end

signature DEAD_CODE =
sig
  include DEAD_CODE_STRUCTS
  
  val shrink : Ir.Program.t -> Ir.Program.t
end
